1. Aufzahlbarkeit, Entscheidbarkeit, Berechenbarkeit; Einfuhrung in die Theorie der rekursiven Funktionen

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions

رده :
QA
248
.
5
.
H4
1971

2. Enumerability, decidability, computability; an introduction to the theory of recursive functions

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Recursive functions,، Algorithms,، Godel's theorem,، Computable functions

رده :
QA
248
.
5
.
H413